HighDimNonLin
id_total, 20.550042411
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.039790751
id_inclusion_check_mod_p, 0.009462482
id_groebner_time, 0.09135088
id_beautifulization, 0.684572718
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 903.0
